Data-flow Analysis of Programs with Associative Arrays
نویسندگان
چکیده
منابع مشابه
Data-flow Analysis of Programs with Associative Arrays
Dynamic programming languages, such as PHP, JavaScript, and Python, provide built-in data structures including associative arrays and objects with similar semantics—object properties can be created at run-time and accessed via arbitrary expressions. While a high level of security and safety of applications written in these languages can be of a particular importance (consider a web application ...
متن کاملHybrid Information Flow Analysis for Programs with Arrays
Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic information flow analysis adds instrumentation code to the target software to track flows at run time and raise alarms if a flow policy is violated; hybrid analyses combine this with preliminary static analysis. Using a subset ...
متن کاملData Flow Analysis of Programs in CPSMany
The widespread use of the continuation-passing style (CPS) transformation in compilers, opti-mizers, abstract interpreters, and partial evaluators reeects a common belief that the transformation has a positive eeect on the analysis of programs. Investigations by Nielson 14] and Burn/Filho 5, 6] support, to some degree, this belief with theoretical results. However, these investigations do not p...
متن کاملData Dependence and Data-Flow Analysis of Arrays
The power of any compiler is derived from, and also limited by, its program analyzers. Finding the right abstraction for program analysis is crucial in the development of compiler technology. For the abstraction to be useful, it must include sufficient information to support the code optimizations and transformations. In addition, it must be tractable to extract the information from at least a ...
متن کاملDynamic data flow analysis for Java programs
A large portion of high-level computer programs consists of data declaration. Thus, an increased focus on testing the data ̄ow aspects of programs should be considered. In this paper, we consider testing the data ̄ow in Java programs dynamically. Data ̄ow analysis has been applied for testing procedural and some object-oriented programs. We have extended the dynamic data ̄ow analysis technique ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.150.6